|
|
Statická analýza zdrojového kódu jazyka CodAL
Fajčík, Martin ; Přikryl, Zdeněk (oponent) ; Hynek, Jiří (vedoucí práce)
Cílem této bakalářské práce je návrh a implementace rozšíření editorů jazyka CodAL v oblasti statické analýzy zdrojového kódu tohoto jazyka a návrhu jeho automatických oprav. Tato forma analýzy je vhodná například pro ověření sémantické korektnosti zdrojového kódu. Práce se dělí na teoretickou a praktickou část. Teoretická část této práce obsahuje obeznámení se s tvorbou rozšíření pro vývojové prostředí z řad platformy Eclipse, zejména s editorem jazyka CodAL, jazykem CodAL a vytyčením chyb tohoto jazyka vhodných pro zpracování statickou analýzou. Praktická část se zabývá konkrétní implementací prvků statické analýzy zdrojového kódu jazyka CodAL a návrhu jeho automatických oprav. Rozšiřované editory jazyka CodAL jsou dostupné ve vývojovém prostředí Codasip Studio založeném především na platformě Eclipse a projektu CDT. Produkt Codasip Studio je vyvíjený společností Codasip ve spolupráci s výzkumnou skupinou Lissom.
|
|
|
Voyeurism as the characteristic feature of a man in contemporary society
Jarošová, Emília ; Šubrt, Jiří (vedoucí práce) ; Šafaříková, Radana (oponent)
Práca teoreticko- empirickej povahy sa venuje voyeurizmu v súčasnej spoločnosti. Zvláštna pozornosť je v práci venovaná subjektu v pozícii takéhoto voyeura a reflexii vlastného voyeurizmu subjektom, a to na prípade seriálu ako umelého súkromia, ktoré je pripravené pre pohľad voyeura. Práca má interdisciplinárny charakter a snaží sa skúmať voyeurizmus ako celospoločenský jav a poukázať na jeho príčiny v súčasnej spoločnosti. Teoretická časť uvádza voyeurizmus do širšieho kontextu rôznych teórií popisujúcich súčasnú (vizuálnu) spoločnosť. V praktickej časti sa snaží poodhaliť príčiny voyeurizmu ale najmä ich reflexiu subjektom, ako aj reflexiu voyeurizmu samotného. V záverečnej časti sa pokúša načrtnúť možné náhľady na problematiku voyeurizmu s prihliadnutím na výsledky praktickej časti. Cieľom tejto práce je teda interdisciplinárne skúmať voyeurizmus ako charakteristický rys súčasnej spoločnosti a prepojiť tak jednotlivé časti a hľadiská tejto problematiky, čím na neho poskytne komplexnejší náhľad, ako tiež snaha poodhaliť jeho príčiny a reflexiu týchto príčin subjektom. Kľúčové pojmy voyeur, voyeurizmus, pohľad, vizualita, seriál, súčasná spoločnosť, identifikácia
|
|
|
Statická analýza zdrojového kódu jazyka CodAL
Fajčík, Martin ; Přikryl, Zdeněk (oponent) ; Hynek, Jiří (vedoucí práce)
Cílem této bakalářské práce je návrh a implementace rozšíření editorů jazyka CodAL v oblasti statické analýzy zdrojového kódu tohoto jazyka a návrhu jeho automatických oprav. Tato forma analýzy je vhodná například pro ověření sémantické korektnosti zdrojového kódu. Práce se dělí na teoretickou a praktickou část. Teoretická část této práce obsahuje obeznámení se s tvorbou rozšíření pro vývojové prostředí z řad platformy Eclipse, zejména s editorem jazyka CodAL, jazykem CodAL a vytyčením chyb tohoto jazyka vhodných pro zpracování statickou analýzou. Praktická část se zabývá konkrétní implementací prvků statické analýzy zdrojového kódu jazyka CodAL a návrhu jeho automatických oprav. Rozšiřované editory jazyka CodAL jsou dostupné ve vývojovém prostředí Codasip Studio založeném především na platformě Eclipse a projektu CDT. Produkt Codasip Studio je vyvíjený společností Codasip ve spolupráci s výzkumnou skupinou Lissom.
|
host ::
RSS.